Common logic - PDFSEARCH.IO - Document Search Engine

Common logic
Results: 270

#	Item
251	Chapter 1 Perception and Change in Update Logic Jan van Eijck Abstract Three key ways of updating one’s knowledge are (i) perception of states Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2011-01-18 09:31:16 Modal logic Golden ratio Numbers Common knowledge Epistemology Mathematics Linear temporal logic Logic Artificial intelligence Epistemic modal logic
252	Logic of Information Flow on Communication Channels Yanjing Wang, Floor Sietsma and Jan van Eijck Centrum Wiskunde en Informatica, y.wang, f.sietsma, [removed] Abstract Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 08:10:08 Constructible universe Common knowledge Logic Science Linear temporal logic Artificial intelligence Epistemic modal logic Modal logic
253	Hundred prisoners and a lightbulb Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 08:06:52 Philosophical logic Modal logic Non-classical logic Epistemic modal logic Common knowledge Kripke semantics Prisoner of war Counter Partition Logic Mathematics Mathematical logic
254	Logic of Information Flow on Communication Channels (Extended Abstract) Yanjing Wang ∗ Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2011-01-23 16:49:28 Formal languages Model theory Artificial intelligence Epistemic modal logic Modal logic Interpretation Golden ratio Constructible universe Common knowledge Logic Mathematical logic Mathematics
255	Verifying Epistemic Protocols under Common Knowledge Yanjing Wang Lakshmanan Kuppusamy Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 08:56:05 Linear temporal logic Μ operator Model theory Operator theory Mathematics Function Mathematical logic
256	Common Knowledge in Update Logics Johan van Benthem∗, Jan van Eijck†and Barteld Kooi‡ Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 10:45:46 Non-classical logic Epistemic modal logic Model theory Common knowledge Logic programming Logic Philosophical logic Modal logic
257	Logics of Communication and Change Johan van Benthem a Jan van Eijck b Barteld Kooi c a ILLC, University of Amsterdam, Plantage Muidergracht 24, 1018 TV Amsterdam, The Netherlands & Philosophy Department, Stanford Univer Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 11:24:18 Mathematics Epistemic modal logic Common knowledge Dynamic logic Modal operator Model theory Axiom Logic Mathematical logic Modal logic
258	Dynamic Epistemic Logics Jan van Eijck Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2013-12-13 11:13:35 Philosophical logic Model theory Metalogic Non-classical logic Epistemic modal logic Kripke semantics Common knowledge Doxastic logic First-order logic Logic Mathematical logic Modal logic
259	CHAPTER 4 Direct Proof Add to Reading List Source URL: www.people.vcu.edu Language: English - Date: 2013-05-24 12:24:20 Mathematical proofs Number theory Modular arithmetic Least common multiple Greatest common divisor Direct proof Pythagorean theorem Theorem Fundamental theorem of arithmetic Mathematics Mathematical logic Multiplicative functions
260	The sure-thing principle and independence of irrelevant knowledge Add to Reading List Source URL: www.tau.ac.il Language: English - Date: 2008-07-15 23:37:47 Epistemic modal logic Modal logic Common knowledge Constructible universe Ordinal number Logic Mathematical logic Artificial intelligence

UPDATE